How Do Practitioners Interpret Conditionals in Requirements?

نویسندگان

چکیده

Context: Conditional statements like “If A and B then C” are core elements for describing software requirements. However, there many ways to express such conditionals in natural language also how they can be interpreted. We hypothesize that conditional requirements a source of ambiguity, potentially affecting downstream activities as test case generation negatively. Objective: Our goal is understand specific interpreted by readers who work with Method: conduct descriptive survey 104 RE practitioners ask interpret 12 different clauses. map their interpretations logical formulas written Propositional (Temporal) Logic discuss the implications. Results: The our tested were ambiguously. found disagree on whether an antecedent only sufficient or necessary consequent. Interestingly, disagreement persists even when system behavior known practitioners. certain cue phrases associated interpretations. Conclusion: Conditionals ambiguity not just one way them formally. This affects any analysis builds upon formalized (e.g., inconsistency checking, test-case generation). results may influence guidelines writing

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

How people interpret conditionals: shifts toward the conditional event.

We investigated how people interpret conditionals and how stable their interpretation is over a long series of trials. Participants were shown the colored patterns on each side of a 6-sided die and were asked how sure they were that a conditional holds of the side landing upward when the die is randomly thrown. Participants were presented with 71 trials consisting of all combinations of binary ...

متن کامل

How well do general practitioners manage dyspepsia?

This paper reports the incidence of dyspepsia in general practice, the characteristics of patients, the types of complaints presented and the management of the dyspeptic patient by general practitioners. Fourteen general practitioners in the Maastricht region of the Netherlands studied 318 consecutive patients presenting with dyspepsia. Two questionnaires were used: one filled in by the patient...

متن کامل

How hard do general practitioners work?

assessment of the so called "avoidable factors" as in the Confidential Inquiry into Maternal Deaths.'4 This raises two problems. Firstly, the concept of avoidability, like that of causality, is highly subjective. Secondly, no one can know whether the absence of the "avoidable" factor would have prevented the death; indeed, the Northern region working party abandoned its search for "avoidable" f...

متن کامل

How do parents of babies interpret qualitative expressions of probability?

One hundred mothers and 50 medical students and doctors were interviewed to examine their understanding of eight common probability expressions as they are used in statements of the kind that doctors regularly make to mothers of babies. Respondents were asked to translate each term into a number on a scale from 0 to 10. There was a wide range of interpretation of the expressions, and significan...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Lecture Notes in Computer Science

سال: 2021

ISSN: ['1611-3349', '0302-9743']

DOI: https://doi.org/10.1007/978-3-030-91452-3_6